\relax 
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduzione}{2}{section.1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Protocololli di accesso a risorsa}{3}{section.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}PCP/SRP}{3}{subsection.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Sospensione ed attesa attiva}{3}{subsection.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}DPCP}{4}{subsection.2.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}MSRP}{4}{subsection.2.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}OMLP}{4}{subsection.2.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Helping protocol}{4}{subsection.2.6}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Analisi di schedulabilita' ed accesso alla risorsa}{5}{section.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Accessi in parallelo}{5}{subsection.3.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}FIFO e spinning}{6}{subsection.3.2}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Modello concettuale}{7}{section.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Ceiling}{7}{subsection.4.1}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Ceiling, FIFO e spinning}}{8}{table.1}}
\newlabel{table:primo taskset}{{1}{8}{Ceiling, FIFO e spinning\relax }{table.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Prerilascio}{8}{subsection.4.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Ceiling, FIFO e spinning}}{9}{figure.1}}
\newlabel{first}{{1}{9}{Ceiling, FIFO e spinning\relax }{figure.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Prerilascio dannoso}}{9}{figure.2}}
\newlabel{second}{{2}{9}{Prerilascio dannoso\relax }{figure.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Il job in attesa prosegue la sezione critica del job prerilasciato}}{10}{figure.3}}
\newlabel{third}{{3}{10}{Il job in attesa prosegue la sezione critica del job prerilasciato\relax }{figure.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Gestione casi particolari}{10}{subsection.4.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.1}Caso pessimo}{10}{subsubsection.4.3.1}}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Gestione caso pessimo}}{11}{table.2}}
\newlabel{table:secondo taskset}{{2}{11}{Gestione caso pessimo\relax }{table.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Task set \ref  {table:secondo taskset} senza meccanismo di notifica}}{11}{figure.4}}
\newlabel{fourth}{{4}{11}{Task set \ref {table:secondo taskset} senza meccanismo di notifica\relax }{figure.4}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Task set \ref  {table:secondo taskset} con meccanismo di notifica}}{12}{figure.5}}
\newlabel{fiveth}{{5}{12}{Task set \ref {table:secondo taskset} con meccanismo di notifica\relax }{figure.5}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.2}Caso intermedio}{12}{subsubsection.4.3.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Task set \ref  {table:secondo taskset} con sezione critica pari a 3 unita' di tempo.}}{13}{figure.6}}
\newlabel{sixth}{{6}{13}{Task set \ref {table:secondo taskset} con sezione critica pari a 3 unita' di tempo}{figure.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Implementazione}{13}{section.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Il nuovo modello}{13}{subsection.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}I costi della migrazione}{14}{subsection.5.2}}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Conseguenze della migrazione}}{15}{table.3}}
\newlabel{table:terzo taskset}{{3}{15}{Conseguenze della migrazione\relax }{table.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Task set \ref  {table:secondo taskset} senza gestione della migrazione.}}{15}{figure.7}}
\newlabel{seventh}{{7}{15}{Task set \ref {table:secondo taskset} senza gestione della migrazione}{figure.7}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Gestione del processore inutilizzato tramite ceiling e blocco della coda ready.}}{16}{figure.8}}
\newlabel{eighth}{{8}{16}{Gestione del processore inutilizzato tramite ceiling e blocco della coda ready}{figure.8}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Migrazione al processore di origine non appena possibile.}}{16}{figure.9}}
\newlabel{nineth}{{9}{16}{Migrazione al processore di origine non appena possibile}{figure.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Strutture dati}{16}{subsection.5.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Callback di LITMUS-RT}{17}{subsection.5.4}}
\@writefile{toc}{\contentsline {paragraph}{Scheduler}{17}{section*.2}}
\@writefile{toc}{\contentsline {paragraph}{Risorsa globale}{18}{section*.3}}
\@writefile{toc}{\contentsline {paragraph}{Funzioni aggiuntive}{18}{section*.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5}Lock della risorsa}{19}{subsection.5.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6}Rilascio della risorsa}{20}{subsection.5.6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.7}Schedule}{21}{subsection.5.7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.8}Context switch}{22}{subsection.5.8}}
